failure 451:

Requirement failed: {nextafterl.10.01.01;nextafterl.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set

location
trace	/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/util_float_scenario.utz (util_float_scenario.utt), line 12735
occurence
scenario	util_float_scenario
specification function	nextafter_spec()
parameter value	CallContext context = [pid=17999,thr=b752d6c0]
parameter value	Unifloat * @x = (long double) -3.6451995318824746025284059336194198e-4951 (-0x.8000000000000000P-16444L)
parameter value	Unifloat * x = (long double) -3.6451995318824746025284059336194198e-4951 (-0x.8000000000000000P-16444L)
parameter value	Unifloat * @y = (long double) -0.0000000000000000000000000000000000e+00 (-0x.0000000000000000P1L)
parameter value	Unifloat * y = (long double) -0.0000000000000000000000000000000000e+00 (-0x.0000000000000000P1L)
parameter value	ErrorCode * @errno = EOK
parameter value	ErrorCode * errno = EOK
return value	(Unifloat *) (long double) -0.0000000000000000000000000000000000e+00 (-0x.0000000000000000P1L)
coverage & branch	C x - normal, y - normal, x<y
properties
REQ failed	nextafterl.10.01.01
REQ failed	nextafterl.10.02.01
kind	POSTCONDITION_FAILED

similar known bug(s)
The nextafter(x, y) family of functions functions shall compute the next representable floating-point value following x in the direction of y. According to LSB, if the correct value is subnormal or underflows then ERANGE error code shall be set. But on the target machine the function sets error code EOK instead of ERANGE.